1.1.1.12. core.uninitialized.UndefReturn (C)
Check for uninitialized values being returned to the caller.

Examples:

int test() {
  int x;
  return x; // warn
}